proof of Kleene's theorem